Sturm–Picone comparison theorem

In mathematics, in the field of ordinary differential equations, the Sturm–Picone comparison theorem, named after Jacques Charles François Sturm and Mauro Picone, is a classical theorem which provides criteria for the oscillation and non-oscillation of solutions of certain linear differential equations.

Sturm–Picone comparison theorem

Let

  1. (p_1(x) y^\prime)^\prime %2B q_1(x) y = 0 \,
  2. (p_2(x) y^\prime)^\prime %2B q_2(x) y = 0 \,

be two homogeneous linear second order differential equations in self-adjoint form with

0 < p_2(x) \le p_1(x)\,

and

q_1(x) \le q_2(x).\,

Let u be a non-trivial solution of (1) with successive roots at z1 and z2 and let v be a non-trivial solution of (2). Then one of the following properties holds.

In the special case where both equations are equal one obtains the Sturm separation theorem.

References